1. Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR'96, Bonn, Germany, June 3-7, 1996 : proceedings
پدیدآورنده : Dov M. Gabbay, Hans Jurgen Ohlbach )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Reasoning,Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
1085
2. Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR 96, Bonn, Germany, June 3-7, 1996 : proceedings
پدیدآورنده : Dov M. Gabbay, Hans Jurgen Ohlbach )eds.(
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Automatic theorem proving - Congresses , Reasoning - Congresses , Artificial intelligence - Congresses
رده :
QA
76
.
9
.
A96
I575
1996
3. Temporal logic : first International Conference, ICTL'94, Bonn, Germany, July 11-14, 1994 : proceedings
پدیدآورنده : Dov M. Gabbay, Hans Jurgen Ohlbach )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
827
